first(e) == isl(pred?(e)) 

latex

---

clarification:

first(pred?;e) == isl(pred?(e)) 

latex

Definitions	b, isl(x), f(a)
FDL editor aliases	first